(0 19 16)(1 20 3)(2 10 4)(5 14 13)(6 18 8)(7 11 9)(12 17 15)
ALLOWS (11/8)-SEQUENCE
1: (7 11 20)
(0 19 16)(1 20 9 7 3)(2 10 4)(5 14 13)(6 18 8)(11)(12 17 15)
2: (6 18 8)
(0 19 16)(1 20 9 7 3)(2 10 4)(5 14 13)(6)(8)(11)(12 17 15)(18)
3: (0 19 16)
(0)(1 20 9 7 3)(2 10 4)(5 14 13)(6)(8)(11)(12 17 15)(16)(18)(19)
4: (3 9 7)
(0)(1 20 9)(2 10 4)(3)(5 14 13)(6)(7)(8)(11)(12 17 15)(16)(18)(19)